<script type="text/javascript">
	location.href = "doc/index.html"
</script>